Functional discourse grammar — is a grammar theory that explains how linguistic utterances are shaped, based on the goals and knowledge of natural language users. In doing so, it contrasts with Chomskyan transformational grammar. Functional Discourse Grammar has been developed … Wikipedia
Functional design — is a paradigm used to simplify the design of computer software and increasingly, 3D modeling. A functional design assures that each modular part of a computer program has only one responsibility and performs that responsibility with the minimum… … Wikipedia
Danish functional linguistics — For the architectural style of the same name, see Danish Functionalism (architecture). Danish functional linguistics (also referred to as Danish functionalism) is a strand of functional linguistics drawing heavily on the work and ideas of Louis… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Glue Semantics — Glue Semantics, or simply Glue (Dalrymple et al. 1993; Dalrymple 1999, 2001) is a linguistic theory of semantic composition and the syntax semantics interface which assumes that meaning composition is constrained by a set of instructions stated… … Wikipedia
Lexical functional grammar — (LFG) is a grammar framework in theoretical linguistics, a variety of generative grammar. The development of the theory was initiated by Joan Bresnan and Ronald Kaplan in the 1970s, in reaction to the direction research in the area of… … Wikipedia
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Systemic functional grammar — (SFG) or systemic functional linguistics (SFL) is a model of grammar that was developed by Michael Halliday in the 1960s. [http://www.isfla.org/Systemics/Definition/definition.html, accessed 30 July 2008] It is part of a broad social semiotic… … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia